floating point numbers explicit normalization